Nuprl Lemma : true_wf
13,42
postcript
pdf
True
latex
Up
core
2
,
core
2
Definitions
True
,
,
t
T
origin
T